University of Warsaw

Results: 489



#Item
101

A machine-independent characterization of timed languages Mikolaj Boja´ nczyk and Slawomir Lasota Institute of Informatics, University of Warsaw

Add to Reading List

Source URL: www.mimuw.edu.pl

Language: English - Date: 2015-05-11 06:12:19
    102

    Efficient Evaluation of Nondeterministic Automata Using Factorization Forests? Mikolaj Boja´ nczyk and Pawel Parys University of Warsaw

    Add to Reading List

    Source URL: www.mimuw.edu.pl

    Language: English - Date: 2015-05-11 06:12:37
      103

      University of Warsaw Faculty of Mathematics, Informatics, and Mechanics Michał Skrzypczak Descriptive set theoretic methods in automata theory

      Add to Reading List

      Source URL: www.mimuw.edu.pl

      Language: English - Date: 2015-08-15 15:21:13
        104

        Regular languages of thin trees Mikołaj Bojańczyk, Tomasz Idziaszek, and Michał Skrzypczak University of Warsaw∗ {bojan,idziaszek,mskrzypczak}@mimuw.edu.pl Abstract

        Add to Reading List

        Source URL: www.mimuw.edu.pl

        Language: English - Date: 2015-05-11 06:14:41
          105

          Transducers with origin information Mikolaj Boja´ nczyk? University of Warsaw Abstract. Call a string-to-string function regular if it can be realised by

          Add to Reading List

          Source URL: www.mimuw.edu.pl

          Language: English - Date: 2015-05-11 06:12:10
            106

            S ECURE AND A NONYMOUS H YBRID E NCRYPTION FROM C ODING T HEORY Edoardo Persichetti University of Warsaw 06 June 2013

            Add to Reading List

            Source URL: pqcrypto2013.xlim.fr

            Language: English - Date: 2013-06-24 09:56:15
              107

              1 Turing Machines with Atoms Mikołaj Boja´nczyk, Bartek Klin, Sławomir Lasota, Szymon Toru´nczyk University of Warsaw, e-mail: {bojan,klin,sl,szymtor}@mimuw.edu.pl

              Add to Reading List

              Source URL: www.mimuw.edu.pl

              Language: English - Date: 2015-05-11 06:13:43
                108

                Do We Need a Clark? Transformation of the Polish System of Higher Education after 1989 Dariusz Kołodziejczyk(University of Warsaw and Polish Academy of Sciences/foreign fellow, SRC, 2009) *Andrew Gentes, Dariusz Kołodz

                Add to Reading List

                Source URL: src-h.slav.hokudai.ac.jp

                Language: English - Date: 2014-12-09 21:27:06
                  109

                  XPath Evaluation in Linear Time ´ MIKOLAJ BOJANCZYK and PAWEL PARYS Warsaw University We consider a fragment of XPath 1.0, where attribute and text values may be compared. We

                  Add to Reading List

                  Source URL: www.mimuw.edu.pl

                  Language: English - Date: 2015-05-11 06:18:10
                    110

                    Secure Multiparty Computations on Bitcoin Marcin Andrychowicz, Stefan Dziembowski∗ , Daniel Malinowski, Łukasz Mazurek University of Warsaw, Poland {marcin.andrychowicz, stefan.dziembowski, daniel.malinowski, lukasz.m

                    Add to Reading List

                    Source URL: eprint.iacr.org

                    Language: English - Date: 2014-03-18 15:18:38
                      UPDATE